Temporal Reasoning without Transitive Tables

rapport interneRepresenting and reasoning about qualitative temporal information is an essential part of many artificial intelligence tasks. Lots of models have been proposed in the litterature for representing such temporal information. All derive from a point-based or an interval-based framework. One fundamental reasoning task that arises in applications of these frameworks is given by the following scheme: given possibly indefinite and incomplete knowledge of the binary relationships between some temporal objects, find the consistent scenarii between all these objects. All these models require transitive tables --- or similarly inference rules--- for solving such tasks. We have defined an alternative model, S-languages - to represent qualitative temporal information, based on the only two relations of \emph{precedence} and \emph{simultaneity}. In this paper, we show how this model enables to avoid transitive tables or inference rules to handle this kind of problem

Représentation mathématique du temps : après Reichenbach

Article à paraître dans la revue Tranel.La plupart des modèles formels du temps pour la linguistique assimilent in fine « la ligne métaphorique du temps » à la droite numérique des nombres réels. Pourtant, beaucoup de linguistes ont adopté une approche relationnelle de la temporalité, se fondant sur les travaux de Reichenbach (1947). Nous montrons ici qu'il existe un modèle mathématique qui suit de manière naturelle cette approche relationnelle. Il s'agit du modèle des S-langages, fondé sur la théorie des langages formels. En effet, ce modèle (i) capte les deux relations temporelles fondamentales de précédence et de simultanéité, (ii) permet de représenter à la fois les propriétés de discrétion et de continuité des objets linguistiques, (iii) fournit les opérateurs algébriques nécessaires au raisonnement temporel sans recours au temps défini par une théorie logique

Traitement de la temporalité des discours : une Analysis Situs

à paraître dans cahiers ChronosLe travail présenté ici se situe à l'interface de celui du linguiste et celui de la formalisation mathématique. A partir de l'étude de travaux linguistiques concernant la sémantique de la temporalité, nous avons mis en regard une certaine perception cognitivo-linguistique du temps et quelques définitions philosophiques du temps (Aristote, Leibniz) pour mettre en évidence les hypothèses suivants :(i) La temporalité linguistique qualitative n'a pas besoin du temps physique pour s'exprimer.(ii) Quelque soit les valeurs aspectuelles des procès en jeu (ponctuelle, périodique ou itérative), le calcul se fait toujours sur des points ou des séquences de points, avec les deux relations fondamentales de simultanéité et de précédence. C'est une analysis situs, telle que Leibniz la voulait : exprimant directement les relations de position, et par suite les configurations et les constructions.(iii) Le formalisme des S-langages est un cadre idoine pour l'expression formelle de la temporalité linguistique.Après avoir montré que la temporalité linguistique pouvait s'exprimer sans recours au temps physique, nous présenterons le formalisme des S-langages qui permet de réaliser l'analysis situs

Reasoning with Intervals on Granules

The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enought when the periods are written in terms of coarse granularities with respect to the event taken into account. For instance, how to express the inter-war period in terms of a {\em years} interval? This paper presents a new type of intervals, neither open ,nor closed or open-closed and the extension of operations on intervals of this new type, in order to reduce the gap between the discourse related to temporal relationship and its translation into a discretized model of Time

Représentation du temps, relations temporelles et théories des temps verbaux.

Rapport InterneNous présentons un cadre unique de description des différents modèles référentiels et procéduraux de descriptions des temps verbaux, fondé sur la notion de \emph{points spécieux}, associée à celle de neutralité de la forme des extensions temporelles des éléments des modèles. Ce cadre permet à la fois la description et le calcul des relations décrites qui s'expriment sous la forme de S-langages \cite{Schwer2007, DurandSchwer2008} réécrits dans l'esprit de Reichenbach. Nous montrons, à travers l'examen des théories de Port-Royal (1667), de l'Abbé Girard (1747), de Beauzée (1767) et de Reichenbach (1947) comment le système néo-Reichenbachien de Co Vet (2007) s'ancre dans une tradition de définition des temps verbaux du français qui d'une part tend à se dégager des contraintes sur le nombre, la nature et les formes des repères nécessaires à leurs expressions relationnelles et d'autre part donne plus d'importance à ce qu'emporte d'universel l'évenance avec elle, c'est-à-dire non la forme de son extension temporelle (encore présente chez Reichenbach) mais son "aura" temporelle (apportée par Co Vet)

Proximal Deictic Temporal Reference with Calendar Units

version corrigéeThe paper centres on deictic reference to temporal segments of the near future or past using of the fundamental calendar units (days, years, weeks, months) and their divisions (days of the week, parts of the day). • The global aim of the study: to identify language specific and cross linguistic patterns in the linguistic use of calendar units. • A more specific goal: determining to what extent temporal reference can be achieved through linguistic calendar expressions independently of other elements—how much of the necessary information is directly encoded in them and how much is supplied by additional linguistic and extra-linguistic elements. We presents initial results of ongoing research. We will consider here some of the properties of three types of expressions employing linguistic calendar terms: the fundamental units (day, year, week, month), parts of the day and the (named) days of the week. The fundamental units have been examined (to varying degrees of depth) in some 20 languages of various language families. The other units have only been examined in a more limited set of languages, at this stage. As will be shown, the three types of expressions reflect temporal reference to different levels or different cycles and their linguistic behaviour reveals differences in the temporal information they encode and in their ability to function independently as temporal markers

Proximal Deixis with Calendar Terms: Cross-linguistic Patterns of Temporal Reference

An analysis of deictic temporal reference using major calendar units (day, year, week, month) and their divisions (days of the week, parts of day). Our analysis shows systematic inter-linguistic tendencies et indicates that each type of unit encodes different information, affecting their capacity to function independently as temporal markers, in the absence of additional linguistic or extra-linguistic elements.Cette étude analyse la référence temporelle déictique avec des segments fondamentales du calendrier (jours, années, semaines, mois) et leurs divisions (jours de la semaine, certaines parties de la journée). Notre analyse montre des tendances inter-linguistiques systématiques et indique que chaque type encode des informations différentes qui affectent leur capacité de fonctionner indépendamment en tant que marqueurs temporels en l'absence d'autres éléments linguistiques et extra-linguistiques

Ontologies temporelles et sémantique de la temporalité

Nous rappelons brièvement les ontologies temporelles et aspectuelles proposéees dans la littérature pour représenter les informations temporelles. Il apparait que l'évenance n'aurait pas d'existence ontologique directe. Cependant, elle est pertinence car c'est sur elle que sont construites les notions d'aspect et de temps. Après avoir montré le rôle important de la notion de changement, qui permet de distinguer les états du reste des évenances et celui de télicité, nous associons à ces deux notions celle de bornes et l'intérêt de la théorie des S-langages pour la représentation de l'aspect et du temps en linguistique